Deterministic automaton - PDFSEARCH.IO - Document Search Engine

Deterministic automaton
Results: 176

#	Item
141	regex2dot A regex to automaton compiler Diogo Sousa Universiteit Utrecht Add to Reading List Source URL: orium.pw Language: English - Date: 2012-01-24 13:16:41 Models of computation Computer science Applied mathematics Deterministic finite automaton Regular language Regular expression Finite-state machine String operations Automata theory Formal languages Theoretical computer science
142	Deterministic Pushdown Automata 237 Deterministic PDA (DPDA) A PDA P = (Q, Σ, Γ, δ, q0 , Z0 , F ) is deterministic if and only if Add to Reading List Source URL: www.cs.uiuc.edu Language: English - Date: 2005-10-18 14:54:39 Models of computation Computer science Applied mathematics Deterministic pushdown automaton Regular language Regular expression Context-free language Automata theory Formal languages Theoretical computer science
143	Symbolic Automata for Static Specification Mining Hila Peleg1 , Sharon Shoham2 , Eran Yahav3 , and Hongseok Yang4 1 Tel Aviv University, Israel Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2013-05-17 17:02:48 Models of computation Theoretical computer science Model theory Combinatorics on words Logic Structure Finite-state machine Deterministic finite automaton Interpretation Automata theory Formal languages Mathematics
144	Logic, Automata, Games, and Algorithms Moshe Y. Vardi Rice University Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2013-06-11 21:41:58 Computer science Deterministic finite automaton Nondeterministic finite automaton Model theory Regular language Structure First-order logic Powerset construction Linear temporal logic Automata theory Theoretical computer science Logic
145	CS345: Theory of Computation Class schedule & room: Time: Add to Reading List Source URL: www.haverford.edu Language: English - Date: 2012-04-10 18:04:10 Theory of computation Models of computation Computer science Context-free language Recursively enumerable language Finite-state machine Regular language Deterministic finite automaton Nondeterministic finite automaton Formal languages Theoretical computer science Automata theory
146	Conjunctive Queries for EL with Role Composition Markus Krötzsch and Sebastian Rudolph Institute AIFB, Universität Karlsruhe, Germany {mak\|sru}@aifb.uni-karlsruhe.de Abstract. EL++ is a rather expressive description l Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Computer science Mathematics Conjunctive query Nondeterministic finite automaton Deterministic finite automaton Structure Algorithm Computational complexity theory Finite-state machine Automata theory Models of computation Theoretical computer science
147	1 Book Title Book Editors IOS Press, 2003 Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-05-20 09:50:25 Applied mathematics Computer science Deterministic pushdown automaton Pushdown automaton Bisimulation Graph Nested word Automata theory Models of computation Theoretical computer science
148	Deciding DPDA Equivalence is Primitive Recursive Colin Stirling Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-05-20 09:52:43 Symbol Pushdown automaton Constructible universe Ordinal number Automata theory Models of computation Deterministic pushdown automaton
149	Language Theory and Innite Graphs Colin Stirling S hool of Informati s Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-05-20 09:50:17 Applied mathematics Mathematics Deterministic pushdown automaton Pushdown automaton Bisimulation Graph Models of computation Automata theory Theoretical computer science
150	Decidability of Bisimulation Equivalence for Pushdown Processes Colin Stirling Division of Informatics University of Edinburgh Edinburgh EH9 3JZ, UK Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-05-20 09:59:44 Applied mathematics Computer science Deterministic pushdown automaton Bisimulation Computability Context-free language Finite-state machine Automata theory Models of computation Theoretical computer science

UPDATE